Declarative Model Transformations with Triple Graph Grammars
نویسندگان
چکیده
منابع مشابه
A Graphical Specification of Model Transformations with Triple Graph Grammars
Models and model transformations are the core concepts of OMG’s MDA approach. Within this approach, most models are derived from the MOF and have a graph-based nature. In contrast, most of the current model transformations are specified textually. To enable a graphical specification of model transformation rules, this paper proposes to use triple graph grammars as declarative specification form...
متن کاملFormal analysis of model transformations based on triple graph grammars
F R A N K H E R M A N N1,2,†, H A R T M U T E H R I G1,†, U L R I K E G O L A S A N D F E R N A N D O O R E J A S4,‡ 1 [frank,ehrig]@cs.tu-berlin.de, Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Germany 2 Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg 3 [email protected], Konrad-Zuse-Zentrum für Informationstechnik B...
متن کاملApplying Triple Graph Grammars For Pattern-Based Workflow Model Transformations
Workflow and business process modeling approaches have become essential for designing service collaborations when developing SOA-based systems. To derive actual executable business process descriptions from the high-level workflow models, model transformation techniques can be used. Various service composition and business process languages are available for describing the executable processes....
متن کاملFormal Specification of Model Transformations by Triple Graph Grammars with Application Conditions
Triple graph grammars are a successful approach to describe exogenous model transformations, i.e. transformations between models conforming to different meta-models. Source and target models are related by some connection part, triple rules describe the simultaneous construction of these parts, and forward and backward rules can be derived modeling the forward and backward model transformations...
متن کاملCompleteness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions
Model transformations are a key concept for modular and distributed model driven development. In this context, triple graph grammars have been investigated and applied to several case studies and they show a convenient combination of formal and intuitive specification abilities. Especially the automatic derivation of forward and backward transformations out of just one specified set of rules fo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2017
ISSN: 2075-2180
DOI: 10.4204/eptcs.234.0.1